<?hh
echo 42;
?>
